home *** CD-ROM | disk | FTP | other *** search
- Path: newsfeed.internetmci.com!panix!cmcl2!news!slinky!liuz
- From: liuz@slinky.cs.nyu.edu (Zhiqing Liu)
- Newsgroups: comp.lang.c++
- Subject: program symbolically in C++
- Date: 29 Feb 1996 19:13:52 -0500
- Organization: New York University
- Message-ID: <liuz.825639213@slinky>
- NNTP-Posting-Host: slinky.cs.nyu.edu
- X-Newsreader: NN version 6.5.0 (NOV)
-
- I am happy to announce the availability of libsetl (beta versions)
- which allows people to program symbolically in C++. Using intuitive
- and succinct syntax, libsetl supports many high-level features that
- are only found in advanced symbolic languages. They include type
- flexibility, high-level constructs and operations, runtime integrity,
- automatic memory management, and more. An introduction of the library
- and instructions on how to get it can be found in http://cattle.cs.nyu.edu/
- which is also linked from my home page http://galt.cs.nyu.edu/~liuz/
-
- Zhiqing Liu
-
-